LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.orgยท1d
๐Ÿ”จCompilers
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.orgยท1dยท
๐Ÿ”—Concatenative Programming
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.comยท1d
โšกProof Automation
Show HN: Realization Jsmn on a Pure Zig
github.comยท9hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Modern C and initializing an array
subethasoftware.comยท1d
๐Ÿ—‚Data structures
An enough week
blog.mitrichev.chยท23hยท
๐ŸงฎZ3 Solver
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
โœ…Format Verification
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.comยท19h
๐ŸŒŠStreaming Systems
CLI tool that translates plain English into Linux commands
reddit.comยท4hยท
Discuss: r/linux
๐Ÿ“Shell Parsing
English - the hottest programming language of the future
dev.toยท1hยท
Discuss: DEV
๐Ÿ”„Language Evolution
Experimenting with ACL2 and Claude Code
mikedodds.orgยท7hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
Learning from software errors โ€“ Part 3: A Mars probe gets out of control
heise.deยท11h
๐Ÿ“žSession Types
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.devยท3dยท
Discuss: Hacker News
๐Ÿš€Compiler Optimizations
Programmer in Wonderland
binaryigor.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
CodeSOD: A JSON Serializer
thedailywtf.comยท1d
๐Ÿ“ฆDeflate